<html>
<head><meta charset="utf-8"><title>hir_ty · t-compiler/rust-analyzer · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/index.html">t-compiler/rust-analyzer</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/hir_ty.html">hir_ty</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="181641730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/hir_ty/near/181641730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/hir_ty.html#181641730">(Nov 22 2019 at 14:21)</a>:</h4>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span>, <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  I think we are ready (well, almost) to create <code>hir_ty</code> crate inside rust-analyzer, which deals with all type-related things. </p>
<p>I think it is a good idea to <em>mechanically</em> extract this crate, before drawing any well-designed and library-ified interface for types. Should I pick this task? Or is <span class="user-mention" data-user-id="129457">@Florian Diebold</span> willing to do some boring code motion and refactoring?</p>



<a name="181641833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/hir_ty/near/181641833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/hir_ty.html#181641833">(Nov 22 2019 at 14:22)</a>:</h4>
<p>I could do it, though I think you've got more practice currently ;)</p>



<a name="181642254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/hir_ty/near/181642254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/hir_ty.html#181642254">(Nov 22 2019 at 14:27)</a>:</h4>
<p>That is true! The other high-priority type-related task is that unfortunate OOM</p>



<a name="181643105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/hir_ty/near/181643105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/hir_ty.html#181643105">(Nov 22 2019 at 14:37)</a>:</h4>
<blockquote>
<p>That's true</p>
</blockquote>
<p>To be less ambiguous: I'll move all types to <code>hir_ty</code>.  BTW, I've heard that Kotlin folks are doing large refactoring as well: <a href="https://github.com/JetBrains/kotlin/tree/master/compiler/fir" target="_blank" title="https://github.com/JetBrains/kotlin/tree/master/compiler/fir">https://github.com/JetBrains/kotlin/tree/master/compiler/fir</a>, they are introducing <code>fir</code>. I don't know what <code>f</code> stands for. f for front-end?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>